Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

Source URL: qav.comlab.ox.ac.uk

• Statistical models
• Probability and statistics
• Statistical theory
• Statistics
• Timed automaton
• Parametric model
• Parameter
• Markov decision process
• Markov chain

Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr

Source URL: suncontract.org

• Enterprise application integration
• Computing
• Oracle SOA Suite
• Matja
• Business Process Execution Language
• Oracle Fusion Middleware
• Rozman
• Economy
• Software architecture

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Source URL: qav.comlab.ox.ac.uk

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

A Paged Domain Name System for Query Privacy Daniele E. Asoni, Samuel Hitz, and Adrian Perrig Network Security Group Department of Computer Science, ETH Zürich {daniele.asoni,samuel.hitz,adrian.perrig}@inf.ethz.ch

Source URL: www.netsec.ethz.ch

• Domain name system
• Internet
• Internet Standards
• Network architecture
• Computing
• Domain Name System Security Extensions
• Name server
• Domain name
• Root name server
• WHOIS
• Fully qualified domain name
• Second-level domain

Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways

Source URL: www.cloudbroker.com

• Grid computing
• Computing
• Cloud infrastructure
• IT infrastructure
• Concurrent computing
• Hungarian Academy of Sciences
• GUSE
• MTA SZTAKI Laboratory of Parallel and Distributed Systems
• Science gateway
• Pter Kacsuk
• OpenNebula
• OpenStack

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

Learning Outcomes for Master of Science (MSc) in Tourism and Hospitality Management National Qualification Framework for Iceland MSc in Tourism and Hospitality Management at Reykjavik University MSc in Tourism and Hospit

Source URL: en.ru.is

• Academic degrees
• Education
• Tourism
• Master's degree
• Bachelor's degree
• Hospitality management studies
• Educational policies and initiatives of the European Union

Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science

Source URL: pdfs.semanticscholar.org

• Genetic algorithms
• Evolutionary algorithms
• Artificial intelligence
• Applied mathematics
• Cybernetics
• Mathematical optimization
• Mathematics
• Genetic programming
• Algorithm
• Crossover